- Automated Intelligence Discovery
- Computers: AID
Универсальный русско-английский словарь. Академик.ру. 2011.
Универсальный русско-английский словарь. Академик.ру. 2011.
Automated reasoning — is an area of computer science dedicated to understand different aspects of reasoning. The study in automated reasoning helps produce software which allows computers to reason completely, or nearly completely, automatically. Although automated… … Wikipedia
Automated theorem proving — (ATP) or automated deduction, currently the most well developed subfield of automated reasoning (AR), is the proving of mathematical theorems by a computer program. Decidability of the problem Depending on the underlying logic, the problem of… … Wikipedia
Automated Mathematician — The Automated Mathematician is one of the earliest successful discovery systems. It was created by Doug Lenat in Lisp, and in 1977 led to Lenat being awarded the IJCAI Computers and Thought Award.AM worked by generating and modifying short Lisp… … Wikipedia
Intelligence analysis — This article deals with the intellectual process of analysis itself, as opposed to intelligence analysis management, which, in turn, is a subcomponent of intelligence cycle management. For a complete hierarchical list of articles in this series,… … Wikipedia
Discovery system — A discovery system is an artificial intelligence system which attempts to discover new scientific concepts or laws. Notable discovery systems have included, Autoclass Automated Mathematician DALTON Eurisko Glauber Machine for Questions and… … Wikipedia
Automated species identification — The automated identification of biological objects such as insects (individuals) and/or groups (e.g., species, guilds, characters) has been a dream among systematists for centuries. The goal of some of the first multivariate biometric methods was … Wikipedia
Business Process Discovery — I. Up front Definition and Summary Business Process Discovery (BPD) (also known as process mining) is a set of techniques that automatically construct a depiction of an organization’s current business processes. These techniques use evidence… … Wikipedia
Search for extraterrestrial intelligence — The search for extraterrestrial intelligence is sometimes abbreviated as SETI. For other uses, see SETI (disambiguation). Screen shot of the screensaver for SETI@home, a distributed computing project in which volunteers donate idle computer power … Wikipedia
Defense Intelligence Agency — This article is about the United States agency. For other countries agencies, see Defence Intelligence Agency. DIA redirects here. For other uses, see Dia (disambiguation). Defense Intelligence Agency Seal of the DIA … Wikipedia
Market Intelligence — (often contracted to MARKINT) is a relatively new intelligence discipline that exploits open source information gathered from global markets. It relies solely on publicly available information such as market prices and ancillary economic and… … Wikipedia
Applications of artificial intelligence — Artificial intelligence has been used in a wide range of fields including medical diagnosis, stock trading, robot control, law, scientific discovery and toys. However, many AI applications are not perceived as AI: A lot of cutting edge AI has… … Wikipedia